全文获取类型
收费全文 | 192篇 |
免费 | 47篇 |
国内免费 | 31篇 |
学科分类
工业技术 | 270篇 |
出版年
2024年 | 1篇 |
2023年 | 8篇 |
2022年 | 6篇 |
2021年 | 9篇 |
2020年 | 17篇 |
2019年 | 10篇 |
2018年 | 7篇 |
2017年 | 4篇 |
2016年 | 9篇 |
2015年 | 17篇 |
2014年 | 10篇 |
2013年 | 7篇 |
2012年 | 13篇 |
2011年 | 4篇 |
2010年 | 2篇 |
2009年 | 6篇 |
2008年 | 8篇 |
2007年 | 3篇 |
2006年 | 5篇 |
2005年 | 7篇 |
2004年 | 17篇 |
2003年 | 14篇 |
2002年 | 28篇 |
2001年 | 33篇 |
2000年 | 11篇 |
1999年 | 1篇 |
1998年 | 2篇 |
1996年 | 1篇 |
1995年 | 2篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1989年 | 1篇 |
1988年 | 1篇 |
1987年 | 2篇 |
排序方式: 共有270条查询结果,搜索用时 218 毫秒
1.
2.
3.
4.
随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。 相似文献
5.
会话推荐的任务是根据用户近期的点击行为预测下一个点击.该领域之前的模型主要关注到会话推荐中的时序模式(序列特征),但是由于用户兴趣迁移以及商品多属性等因素,物品之间的交互关系可能比呈现出来的时序模式更为复杂.为了解决该问题,受PageRank算法的启发,把会话点击和网页跳转联系起来,提出了一个会话推荐中的影响力扩散模型.具体地说,该模型在会话序列的显式时序结构之上构建了会话图,刻画出更加丰富的转移路径,并通过图扩散模型捕获到物品之间的潜在交互关系.在会话表示阶段,该模型提出了一种新颖的位置编码方式来应对兴趣迁移的状况,并在此基础上设计了一种意图提取框架,能在多兴趣会话中迭代出核心意图.在真实数据集上的实验结果表明,所提模型相较于以往方法有较好的性能,并有效解决了兴趣迁移的问题. 相似文献
6.
为了解驾驶员驾车进入隧道过程中的瞳孔变化过程,让8位驾驶员分别驾车进入4座隧道,在此过程中用眼动仪记录驾驶员的瞳孔大小。分析眼动仪记录得到的驾驶员瞳孔大小数据的特征,通过小波变换进行数据处理,得到了驾驶员驾车进入隧道过程中瞳孔大小变化曲线。分析驾驶员瞳孔大小变化曲线发现,不同驾驶员的瞳孔大小存在个体差异;同一驾驶员多次测试的瞳孔大小存在一定的随机性;在接近隧道过程中驾驶员瞳孔逐渐变大,并在隧道洞口附近急剧变大;不同驾驶员的瞳孔变化趋势存在一定的差异;驾驶员瞳孔大小除受适应亮度的影响外,还受驾驶员的心理等因素的影响。 相似文献
7.
8.
西藏扎布耶盐湖卤水的开发和利用 总被引:5,自引:0,他引:5
本文阐述了西藏扎布耶盐湖卤水开发的必要性和进展,试验摸索了以扎布耶盐湖提取的粗碳酸锂为原料的精加工工艺。 相似文献
9.
税收筹划是市场经济的产物,是筹划者为获取整体经济利益,在合理合法的基础上进行的一项复杂的经济管理活动。由于筹划的合理合法,税收筹划应是纳税人的一项基本权利,我国政府就应明确对税收筹划的认可态度,以支持我国税收筹划业的发展。同时,纳税人及其代理人在做税收筹划实务时,应掌握科学的税收筹划方法,在法律界定的范围内,要注意从整体利益出发来安排税收筹划。 相似文献
10.
黄康乐 《武汉大学学报(工学版)》1987,(3)
本文根据固体颗粒吸附的基本特性和质量守恒定律,从数学物理角度推导了原状土壤动态吸附公式,并提出了确定参数的实验方法。通过对几种土壤的试验,结果表明,本文推导的公式比较成功地描述了原状土壤的动态吸附过程。 相似文献